Model-based Approach for the Verification Enhancement Across the Lifecycle of a Space System

This paper reports results of the ESA MARVELS study (Model-based approach research for the verification enhancement across the lifecycle of a space system), with the objectives to define adequate model-based methods to improve the overall verification process of space systems, and to define, prototype and integrate supporting tools for System Verification along the entire project life-cycle. The study results aim to demonstrate how it is possible, in the near term, to perform a transition to a full Model Based System Engineering (MBSE) approach for the verification process, including re-use of elements from past projects, and definition of new ways to support a more effective review process. The feasibility of shifting to this innovative approach in the short term is proven by the definition, prototyping and demonstration of a suitable methodology and environment to support the activities of verification managers and practitioners from different industrial levels, along the lifecycle.